it can be shown that